The Geometry in Constraint Logic Programs
نویسندگان
چکیده
Many applications of constraint programming languages concern geometric domains. We propose incorporating strong algorithmic techniques from the study of geometric and algebraic algorithms into the implementation of constraint programming languages. Interesting new computational problems in computational geometry and computer algebra arises from such considerations. We look at what is known and what needs to be addressed.
منابع مشابه
Optimized Fuzzy Logic for Nonlinear Vibration Control of Aircraft Semi-active Shock Absorber with Input Constraint (TECHNICAL NOTE)
Landing impact and runway unevenness have proximate consequence on performance of landing gear system and conduce to discomfort of passengers and reduction of the pilot’s capability to control aircraft. Finally, vibrations caused by them result in structure fatigue. Fuzzy logic controller is used frequently in different applications because of simplicity in design and implementation. In the pre...
متن کاملModels for Logics and Conditional Constraints in Automated Proofs of Termination
Reasoning about termination of declarative programs, which are described by means of a computational logic, requires the definition of appropriate abstractions as semantic models of the logic, and also handling the conditional constraints which are often obtained. The formal treatment of such constraints in automated proofs, often using numeric interpretations and (arithmetic) constraint solvin...
متن کاملStable Generated Models of Generalized Constraint Logic Programs
We present a declarative semantics of generalized constraint logic programs based on stable generated models. Generalized logic programs contain arbitrary quantiier free formulas in the bodies and heads of their rules. Up to now the only declarative semantics for this program class is deened in terms of stable generated models introduced by Herre and Wagner. A generalized constraint logic progr...
متن کاملAutomatic estimation of regularization parameter by active constraint balancing method for 3D inversion of gravity data
Gravity data inversion is one of the important steps in the interpretation of practical gravity data. The inversion result can be obtained by minimization of the Tikhonov objective function. The determination of an optimal regularization parameter is highly important in the gravity data inversion. In this work, an attempt was made to use the active constrain balancing (ACB) method to select the...
متن کاملStrong Equivalence of Logic Programs with Abstract Constraint Atoms
Constraint Atoms Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, and Jia-Huai You 1 Aalto University, Department of Information and Computer Science {Guohua.Liu,Tomi.Janhunen,Ilkka.Niemela}@aalto.fi 2 University of Alberta, Department of Computing Science {goebel,you}@cs.ualberta.ca Abstract. Logic programs with abstract constraint atoms provide a Logic programs with abstract constraint...
متن کامل